Samsung Blu-ray BDE5400 Blu-ray Player Handbücher, Guides von Benutzern und andere Dokumente